Applying a Test for Atomicity of Method Fragments
نویسندگان
چکیده
One aspect of the conceptual modelling of processes is their quality. Here, we examine one aspect of quality – atomicity – as evaluated for a number of method fragments. High quality fragments will increase the quality of software development process models by application of the tenets of situational method engineering. Here, we identify a number of fragments from a previously developed methodbase/repository as being potentially non-atomic and suggest possible revisions to increase their quality.
منابع مشابه
Prediction of the adsorption capability onto activated carbon of liquid aliphatic alcohols using molecular fragments method
Quantitative structure-property relationship (QSPR) for estimating the adsorption of aliphatic alcohols onto activated carbon were developed using substructural molecular fragments (SMF) method. The adsorption capacity of activated carbon (gr/100grC) for 150 aliphatic alcohols onto activated carbon (AC) is studied under equilibrium conditions. Forward and backwards stepwise regression variable ...
متن کاملApplying Atomicity and Model Decomposition to a Space Craft System in Event-B
Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an abstract model in a step-wise manner in order to manage the development of complex and large systems. To further alleviate the complexity of developing large systems, Event-B refinement can be augmented with two techniques, namel...
متن کاملAutomatic Mutual Exclusion and Atomicity Checks
This paper provides an introduction to the Automatic Mutual Exclusion (AME) programming model and to its formal study, through the AME calculus. AME resembles cooperative multithreading; in the intended implementations, however, software transactional memory supports the concurrent execution of atomic fragments. This paper also studies simple dynamic and static mechanisms for atomicity checks i...
متن کاملExposing Non-Atomic Methods of Concurrent Objects
Multithreaded soware is typically built with specialized “concurrent objects” like atomic integers, queues, and maps. ese objects’ methods are designed to behave according to certain consistency criteria like atomicity, despite being optimized to avoid blocking and exploit parallelism, e.g., by using atomic machine instructions like compare and exchange (cmpxchg). Exposing atomicity violation...
متن کاملA method for analyzing the problem of determining the maximum common fragments of temporal directed tree, that do not change with time
In this study two actual types of problems are considered and solved: 1) determining the maximum common connected fragment of the T-tree (T-directed tree) which does not change with time; 2) determining all maximum common connected fragments of the T-tree (T-directed tree) which do not change with time. The choice of the primary study of temporal directed trees and trees is justified by the wid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014